From Haar to Lebesgue via Domain Theory, Revised version

نویسندگان

  • Will Brian
  • Michael W. Mislove
چکیده

If C ≃ 2 is the Cantor set realized as the infinite product of two-point groups, then a folklore result says the Cantor map from C into [0, 1] sends Haar measure to Lebesgue measure on the interval. In fact, C admits many distinct topological group structures. In this note, we show that the Haar measures induced by these distinct group structures all share this property. We prove this by showing that Haar measure for any group structure is the same as Haar measure induced by a related abelian group structure. Moreover, each abelian group structure on C supports a natural total order that determines a map onto the unit interval that is monotone, and hence sends intervals in C to subintervals of the unit interval. Using techniques from domain theory, we show this implies this map sends Haar measure on C to Lebesgue measure on the interval, and we then use this to contract a Borel isomorphism between any two group structures on C.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Solving infinite horizon optimal control problems of nonlinear interconnected large-scale dynamic systems via a Haar wavelet collocation scheme

We consider an approximation scheme using Haar wavelets for solving a class of infinite horizon optimal control problems (OCP's) of nonlinear interconnected large-scale dynamic systems. A computational method based on Haar wavelets in the time-domain is proposed for solving the optimal control problem. Haar wavelets integral operational matrix and direct collocation method are utilized to find ...

متن کامل

A Property of the Haar Measure of Some Special LCA Groups

The Euclidean group (Rn,+) where (n?N, plays a key role in harmonic analysis. If we consider the Lebesgue measure ()nd?xR as the Haar measure of this group then 12(2)()nd?x=d?RR. In this article we look for LCA groups K, whose Haar measures have a similar property. In fact we will show that for some LCA groups K with the Haar measure K?, there exists a constant such that 0KC>()(2)KKK?A=C?A for ...

متن کامل

Measure Theory

These are some brief notes on measure theory, concentrating on Lebesgue measure on Rn. Some missing topics I would have liked to have included had time permitted are: the change of variable formula for the Lebesgue integral on Rn; absolutely continuous functions and functions of bounded variation of a single variable and their connection with Lebesgue-Stieltjes measures on R; Radon measures on ...

متن کامل

Haar-like wavelets defined over tetrahedrical grids - Computer Science Society, 2000. Proceedings. XX International Conference of the Chilean

In this paper we systematically define Haar-like wavelets over a tetrahedrical grid which is generated b y a regular subdivision method. These wavelets form an inconditional basis for LJ'(T,C,p), 1 < p < 00 , being p the Lebesgue measure and C the U-algebra of all tetrahedra generated from a tetrahedron T by the chosen subdivision method.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • CoRR

دوره abs/1504.00134  شماره 

صفحات  -

تاریخ انتشار 2015